Axioms of set theory - PDFSEARCH.IO - Document Search Engine

Axioms of set theory
Results: 55

#	Item
11	Functional Programming and Specification Practical 3 This is an assessed practical exercise, to be completed by 4pm on Monday 21st March. In contrast to previous exercises, the mark will contribute to the overall mark fo Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-08 05:35:00 Constructible universe S Heap Axioms of set theory Mathematical logic Z notation Mathematics
12	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
13	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-21 11:45:28 Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic
14	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic
15	Basic set theory Richard Pettigrew January 26, 2012 1 Add to Reading List Source URL: www.mcmp.philosophie.uni-muenchen.de Language: English - Date: 2014-01-14 06:12:05 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory S Constructible universe Zermelo set theory Naive set theory Axiom of empty set Mathematical logic Set theory Mathematics
16	Phil[removed]Chapter 9: Naive Set Theory To Discuss Today: What are sets Axioms of naive set theory Set theoretic terminology Add to Reading List Source URL: home.earthlink.net Language: English - Date: 2006-06-13 09:51:10 Cardinal numbers Functions and mappings Infinite set Cardinality Naive set theory Bijection Function Finite set Power set Mathematics Mathematical logic Set theory
17	REGULAR PROBABILITY COMPARISONS IMPLY THE BANACH-TARSKI PARADOX ALEXANDER R. PRUSS Abstract. Consider the regularity thesis that each possible event has non-zero probability. H´ ajek challenges this in two ways: (a) the Add to Reading List Source URL: alexanderpruss.com Language: English - Date: 2014-04-15 12:18:35 Logic Banach–Tarski paradox Event Axiom of choice Probability axioms Constructible universe Conditional probability Independence Zermelo–Fraenkel set theory Probability theory Mathematics Mathematical logic
18	Axioms is a work that explores the true nature of human knowledge, in particular the fundamental nature of deductive and inductive reasoning. It begins by embracing Hume’s Skepticism and Descartes’ one “certain” Add to Reading List Source URL: www.phy.duke.edu Language: English - Date: 2010-01-21 13:21:16 Philosophy of mathematics Mathematical logic Philosophy of science Scientific method Axiom Formalism Set theory Modal logic Mathematical proof Mathematics Science Logic
19	Set Theory: Should You Believe? N J Wildberger School of Maths UNSW Sydney NSW 2052 Australia webpages: http://web.maths.unsw.edu.au/~norman "I protest against the use of infinite magnitude as something completed, which Add to Reading List Source URL: web.maths.unsw.edu.au Language: English - Date: 2006-04-03 03:11:30 Cardinal numbers Formal systems axioms of set theory Elementary mathematics Philosophy of mathematics Axiom Zermelo–Fraenkel set theory Finite set Function Mathematical logic Mathematics Set theory
20	Axioms is a work that explores the true nature of human knowledge, in particular the fundamental nature of deductive and inductive reasoning. It begins by embracing Hume’s Skepticism and Descartes’ one “certain” Add to Reading List Source URL: www.phy.duke.edu Language: English - Date: 2010-01-21 13:11:39 Philosophy of mathematics Mathematical logic Philosophy of science Scientific method Axiom Formalism Set theory Modal logic Mathematical proof Mathematics Science Logic